$\forall$${\it es}$:ES, $i$:Id. discrete state@$i$ $\in$ Type